’RSFTSTYL4œĢ J Logic CompMathematicsūūō ”This style is for the Journal of Logic and Computation published by Oxford University Press. Author guidelines available at: http://www.oxfordjournals.org/our_journals/logcom/for_authors/index.html!X"(#$%&"(#7$%&HJournal of Logic and Computation6Oxford University Pressūū"X !hpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~  et al.ūū€‚, . . . vw ---ūū!"hpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw ---ūū!# H”¢8t‘’ “” •  . !–—t‘’ “” •  . !–—h‘’ “” • –—t‘’ “”  . !• –—€‘’ “”  (ūū!•  )ūū!–—œ‘’ “”D   ūū!0"(#$%&• –—t‘’ “”  , !• –—h‘’ “” • –—t‘’ “”  .ūū!• –— ä”¢Ōt‘’ “” •  . !–—œ‘’ “” •D  ūū!0"(#$%&–—t‘’ “”  . !• –—°‘’ “”( Volume ūū!•  of !–˜˜—˜˜h‘’ “” • –—Ģ‘#’ “”t . pp. !X"(#$%&"(#$%&• –—t‘ ’ “”  , !• –—t‘ ’ “”  , !• –—”‘’ “”  , !•  ed.!–—˜˜t‘’ “”  , !• –—t‘’ “”  .ūū!• –— ą”¢Št‘’ “” •  . !–—|‘’ “”$ Ttile.!• –—x‘’ “”  In !• –—Œ‘ ’ “”  , !•(  ed^edsūū!–—|‘’ “”$ , pp. !• –—”‘’ “”, . Volume ūū!• –˜˜ —t‘’ “”  , !• –—h‘ ’ “” • –—t‘’ “”  , !• –—t‘’ “”  .ūū!• –— Ü” ¢Ģt‘’ “” •  . !–—t‘’ “” •  . !–—¤‘’ “”< *Technical Report ūū!• –˜˜—t‘’ “”  , !• –—h‘ ’ “” • –—t‘ ’ “”  , !• –—t‘’ “”  , !• –—t‘’ “”  .ūū!• –— ą”¢Št‘’ “” •  . !–—|‘’ “”$ Ttile.!• –—x‘’ “”  In !• –—Œ‘ ’ “”  , !•(  ed^edsūū!–—|‘’ “”$ , pp. !• –—”‘’ “”, . Volume ūū!• –˜˜ —t‘’ “”  , !• –—h‘ ’ “” • –—t‘’ “”  , !• –—t‘’ “”  .ūū!• –— 4”!¢$t‘’ “” •  . !–—€‘’ “”  (ūū!•  ) !–—h‘’ “” • –—t‘’ “”  . !• –—t‘’ “”   ūū!• –—t‘’ “”  , !• –—t‘ ’ “”   ūū!• –—|‘’ “”$  pp. ūū!• –—t‘’ “”  .ūū!• –—$ˆ€‘@’ “”  [ūū!•  ] !–—%'p°±`²³P“µ¶“µ¶“µ¶&e()L|t‘+’ “”  . !• –—|t‘"’ “”  , !• –—|t‘’ “”  , !• –—°Ø‘’ “”P >, edited and translated by ūū!• –—*@č0  , !213  ˜”¢ˆ€‘@’ “”  [ūū!•  ]ūū!–—A ”¢št‘’ “” •   [!–—t‘@’ “” •  ]ūū!–—4XpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw B$  and ūū!C$  and ūū!5(°±²³64ŠŃŅ  -ūū!7dąį  ; !āåęē č 8X}~, et al.€‚, . . . 9:;  , !<=>?@ |PQZ  , !RShpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw ---ūū!ThpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw ---ūū!UVWY ĄĮĀĆÄ$ Ibid.!Ģ„|‘’ “”$ Ibid.ūū!• –—Å$ Ibid.!ĘĒ ČÉ ŹčShpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw ---ūū!ThpqrsƒtøxXyzd{  , !|$  and ūū!xXydzd{  , !|$  and ūū!uX}~, et al.€‚, . . . vw ---ūū!ĖU[L|t‘+’ “”  , !• –—|t‘"’ “”  , !• –—|t‘’ “”  , !• –—°Ø‘’ “”P >, edited and translated by ūū!• –—  `ab<dc, Anonymousūū!(@ABC `šńņóōõö÷ųłś